fun (()) -> ()